A Formal Semantic Model to fit SIL for Transformational Design
نویسندگان
چکیده
SIL (SPRITE Input Language) is a single token signal flow graph representation developed as an intermediate format between specification languages and silicon compilers. This paper presents a part of a formal semantic model for SIL which is nicely intuitive because of the use of tables as mathematical representation of the semantics. Together with this semantic model SIL becomes a useful language backbone for transformational design.
منابع مشابه
A Denotational Semantics for SIL-11 as basis for Transformational Design of Digital Systems
Transformational design is a promising design methodology which combines correctness by construction and interactive design. In this design methodology the design steps are behaviour preserving transformations of one design representation into another. The representations used in transformational design need to have formal semantic models in order to prove the correctness, behaviour preserving ...
متن کاملTRANSFORMATIONS AND SEMANTICAL CHECKS FOR SIL - 1 Corrie Huijs
SIL (SPRITE Input Language) is developed as an intermediate format between a variety of specification languages and a number of input formats of synthesis tools and silicon compilers. The second aim in its development was to get a useful language backbone for transformational design, Therefore, SIL is based on a formal semantical model and on only a small number of basic concepts. Transformatio...
متن کاملTRANSFORMATIONS AND SEMANTICAL CHECKS FOR SIL - 1 Corrie
SIL (SPRITE Input Language) is developed as an intermediate format between a variety of specification languages and a number of input formats of synthesis tools and silicon compilers. The second aim in its development was to get a useful language backbone for transformational design, Therefore, SIL is based on a formal semantical model and on only a small number of basic concepts. Transformatio...
متن کاملTransformational Design of Digital Signal Processing Applications
In the design of modern digital systems, such as image processing systems, it is, because of their complexity, of great importance that correctness is guaranteed during the design. Transformational design is a method that integrates guaranteed correctness into the design process. Correctness-by-construction is obtained by applying local behavior-preserving transformations —which have themselves...
متن کاملTransformational Design of Digital Systems based on Graph Rewriting
Transformational design integrates design and verification. It combines “correctness by construction” and design creativity by the use of preproven behaviour preserving transformations as design steps. Transformational design is a formal design methodology in which formal aspects are hidden for the designer. Formal aspects of transformational design as a methodology for high-level synthesis, ar...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1993